1. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
4. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
5. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
6. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
7. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
8. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
9. An introduction to discrete mathematics, specification, and Z
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
10. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
11. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
12. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
13. Process algebra with timing
پدیدآورنده : / J.C.M. Baeten, C.A. Middelburg
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
